Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca
1
Proof Methods for Modal and Intuitionistic Logics

Proof Methods for Modal and Intuitionistic Logics

Godina:
1983
Jezik:
english
Fajl:
PDF, 13.79 MB
0 / 0
english, 1983
2
Foundations: Logic, Language, and Mathematics

Foundations: Logic, Language, and Mathematics

Godina:
1984
Jezik:
english
Fajl:
PDF, 13.31 MB
0 / 0
english, 1984
4
Handbook of Tableau Methods

Handbook of Tableau Methods

Godina:
1999
Jezik:
english
Fajl:
PDF, 23.70 MB
0 / 0
english, 1999
5
Types, Tableaus, and Gödel’s God

Types, Tableaus, and Gödel’s God

Godina:
2002
Jezik:
english
Fajl:
PDF, 4.70 MB
0 / 0
english, 2002
6
Handbook of tableau methods

Handbook of tableau methods

Godina:
1999
Jezik:
english
Fajl:
DJVU, 5.94 MB
0 / 0
english, 1999